Science of Computational Logic — Working Material
نویسنده
چکیده
1 The working material is incomplete and may contain errors. Any suggestions are greatly appreciated. Notation In this book we will make the following notational conventions: a constant b constant C unary relation symbol denoting a concept C set of concept formulas D non-empty domain of an interpretaion E set of equations Es expression containing an occurrence of the term s Es/t expression where an occurrence of the term s has been replaced by t E R equational system obtained from the term rewriting system R E ≈ axioms of equality ε empty substitution g function symbol f function symbol F formula F set of formulas g function symbol G formula H formula I interpretation K a set of formulas often called knowledge base l term; left-hand side of an equation or rewrite rule L literal p relation symbol r term; the right-hand side of equations or rewrite rules R binary relation symbol denoting a role R term rewriting system s term t term θ substitution u term U variable V variable W variable X variable Y variable Z variable In addition, we will consider the following precedence hierarchy among connectives:
منابع مشابه
Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441)
This report documents the program and the outcomes of Dagstuhl Seminar 12441 “Foundations and Challenges of Change and Evolution in Ontologies”, held from 28 October to 2 November 2012. The aim of the workshop was to bring together researchers working in the areas of logic-based ontologies, belief change, and database systems, along with researchers working in relevant areas in nonmonotonic rea...
متن کاملNonlocal thermoelastic semi-infinite medium with variable thermal conductivity due to a laser short-pulse
In this article, the thermoelastic interactions in an isotropic and homogeneous semi-infinite medium with variable thermal conductivity caused by an ultra-short pulsed laser heating based on the linear nonlocal theory of elasticity has been considered. We consider that the thermal conductivity of the material is dependent on the temperature. The surface of the surrounding plane of the medium is...
متن کاملSome applications of Computational Logic to the development of intelligent systems and verification methods
Computational Logic plays a very relevant role in engineering complex systems. It can be used to specify systems at different levels of abstraction. The specifications are executable, thus providing a working prototype for free. Thanks to its well-founded semantics it can be used to reason about the correctness of the specifications, a fundamental aspect when safety critical applications are de...
متن کاملSelection of Hydro-Turbine Blade Material: Application of Fuzzy Logic (MCDA)
The primary aim of this paper is to provide background information, motivation for applications and an exposition to the methodologies employed in the development of fuzzy logic based decision making in hydro or water power engineering by optimum selection of hydro turbine blade material. All the works on the application of multi criteria decision analysis (MCDA) or fuzzy logic to material scie...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012